FZy-CTC列车占用丢失报警功能的开发

根据铁道部要求FZy-CTC系统增加了列车占用丢失报警功能,对运输指挥起到了较好的指导作用。描述FZy-CTC系统如何抽象该需求,对列车运行轨迹进行逻辑检查,并最终实现列车占用丢失报警功能。     

铝合金车身零部件设计研究

文章通过对铝合金发动机盖设计流程的描述,通过对比铝合金与钢的不同点,归纳了铝合金发盖设计所需要关注的要点,并提供了铝合金板材选择的方式。在不同于钢制发动机盖的点上提出了设计要求,明确了铝合金发盖的设计方法。     

UML建模技术在轨道交通CTCS-3级列车控利系统测试案例生成中的应用

针对CTCS-3级列车控制系统测试案例的特点和生成过程,提出了UML建模技术在测试案例生成中的应用.说明了利用这种方法生成测试案例的优势,介绍了生成测试案例的总体思路.测试案例的生成分为两步,即功能特征的提取和基于UML建模的测试案例生成.从UML的静态建模分析和动态建模分析两个方面阐述了具体实现过程,并举例说明了UM...     

关于城轨列车再生电压限制的探讨

为保证地铁等城轨运营系统的效率,提高城轨列车高速域的再生率至关重要。介绍目前国内各地铁公司再生电压限值规定不统一的状况,说明最高再生电压限值偏低会抑制再生能量的回收,不利于节能。认为有必要根据国际上的先进理念,适度限制最高再生电压,以改进城轨车辆的运行性能,达到最大限度节能的目的。     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

形式化可测性约束在软件模型实现过程中的研究

在软件测试中，软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型，但原始的UML模型，由于缺乏严格的定义及必要的约束，如果要生成高精度的软件模型，必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

交通出行统一帐号的电子支付MaaS运营探索

交通出行已经定位为民生实事,要求2019年全国260个地级以上城市交通出行城际无障碍互联互通,同时交通出行在不断创新的服务推动下已经悄然升级到MaaS一体化智慧出行新时代,电子支付已经成为交通出行MaaS服务的强力推手,必须对各类电子支付实现集约化运营。提出了基于统一帐号的金融级安全+电信级通信能力的交通出行聚合支付体系架构,基于该体系架构交通运营机构可利用自身优势资源,向用户提供多种账户,多种接入方式的出行全业务聚合支付服务,在完成交通运输部城市交通出行互联互通的同时构建了基于资金信息流的出行“数据链”,向云计算和大数据的智慧服务和运营体系推进。     

高职高专院校工程造价专业人才培养探析

工程造价专业作为一个新兴专业,其人才培养必须了解社会需求及岗位需要,正确定位人才培养方向,明确培养目标,结合高职特色进行课程设置,并进一步完善和优化教师队伍。     

公路项目两阶段可行性研究的要求与区别

现阶段，对我国高速公路建设项目均应进行两阶段可行性研究。按其工作阶段和工作深度，可行性研究分为预可行性研究和工程可行性研究两个阶段，这两个阶段既相互联系又有很大区别。正确理解这两个阶段的工作内容、要求与区别，有利于更好地开展工作。     

城市轨道交通无人驾驶信号系统设计需求分析

城市轨道交通无人驾驶系统是一种代替司机行使列车控制和驾驶功能的信号系统。分析了无人驾驶技术在成本和节能方面的优势,就无人驾驶系统对车载子系统、轨旁子系统、停车场、日常运营服务的设计需求进行了分析。从设计层面看,CBTC(基于通信的列车控制)系统是最接近无人驾驶系统的信号系统,以CBTC系统为基础设计的无人驾驶系统或直接由CBTC改造升级为无人驾驶系统的方案是最为合理也最经济的选择。